久木田水生; "条件文の論理"
http://www.is.nagoya-u.ac.jp/dep-ss/phil/kukita/others/Logic-of-Conditionals.pdf
厳密含意
や
直観主義論理
(
直観主義命題論理
)における
Brouwer-Heyting-Kolmogorov解釈
について丁寧に説明している
Per Martin-Löf
の型理論(?)っぽい方法で説明しているのはあまり見たことがない